Logical syntax - PDFSEARCH.IO - Document Search Engine

Logical syntax
Results: 623

#	Item
601	PDF Document Add to Reading List Source URL: www.henning-thielemann.de Language: English - Date: 2005-08-31 08:58:01 Logical syntax Mathematical notation Algebra Abuse of notation Function Well-formed formula Expression Interpretation ALGOL 68 Mathematics Formal languages Elementary mathematics
602	PDF Document Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2002-01-24 22:28:32 Formal languages Propositional calculus Predicate logic Proof theory Type theory First-order logic Natural deduction Higher-order abstract syntax Logical framework Logic Mathematical logic Mathematics
603	PDF Document Add to Reading List Source URL: www.cwru.edu Language: English - Date: 1998-06-12 16:44:35 Mathematical logic Metalogic Logical syntax Model theory Mathematical proof Theorem Mathematical object First-order logic Formal system Logic Mathematics Philosophy of mathematics
604	PDF Document Add to Reading List Source URL: www.cwru.edu Language: English - Date: 1996-05-14 11:11:14 Mathematical logic Formal languages Functions and mappings Mathematical proof Function Theorem Emmy Noether Expression Formal proof Logic Mathematics Logical syntax
605	PDF Document Add to Reading List Source URL: www.cwru.edu Language: English - Date: 1998-06-12 16:43:24 Logical syntax Elementary mathematics Formal languages Function Mathematical proof If and only if Well-formed formula Interpretation Parameter Mathematics Logic Mathematical logic
606	PDF Document Add to Reading List Source URL: us.metamath.org Language: English - Date: 2013-09-22 22:46:06 Formal methods Logical syntax Formal languages Metamath Set theory Automated proof checking Axiom Automated theorem proving First-order logic Logic Mathematics Mathematical logic
607	PDF Document Add to Reading List Source URL: drops.dagstuhl.de Language: English - Date: 2011-12-01 09:29:51 Logical syntax Philosophical logic Mathematical logic First-order logic Interpretation Dependence logic Well-formed formula Independence-friendly logic Function Logic Predicate logic Metalogic
608	PDF Document Add to Reading List Source URL: imps.mcmaster.ca Language: English - Date: 2012-03-27 15:38:42 Boolean algebra Semantics Model theory Logical syntax Interpretation Tautology Logical connective Propositional formula Well-formed formula Logic Mathematical logic Propositional calculus
609	PDF Document Add to Reading List Source URL: people.umass.edu Language: English - Date: 2001-06-07 11:58:17 Formal languages Philosophy of language Grammar Logical syntax Montague grammar Formal semantics David Dowty Principle of compositionality Richard Montague Linguistics Semantics Logic
610	PDF Document Add to Reading List Source URL: people.umass.edu Language: English - Date: 2002-09-01 15:32:00 Logical syntax Predicate logic Mathematical logic Propositional calculus First-order logic Well-formed formula Atomic formula Logical connective Function Logic Mathematics Formal languages

UPDATE